RACE System Description
نویسندگان
چکیده
RACE [3] is a successor of HAM-ALC [5, 2]. Based on sound and complete algorithms RACE currently implements TBox and ABox reasoning for the description logic ALCNHR+ [4] that supports number restrictions, role hierarchies, and transitively closed roles. Note that this DL implies general concept inclusions as a language feature. RACE accepts TBoxes and ABoxes in the KRSS syntax with appropriate extensions for GCIs.
منابع مشابه
Consistency Testing: The RACE Experience
This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discussed in detail: (i) techniques involving caching and (ii) techniques for dealing with individuals.
متن کاملLingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010
This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.
متن کاملInteractive Face Generation from Verbal Description Using Conceptual Fuzzy Sets
In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verbal description. The system generates automatically an average face from the same race of the target face using anthropometric measurements of the face and the head and displays it to the user as an initial face. This ...
متن کاملبررسی کاهش باکتری داخل کانال با سه روش مکانیکی Instrumentation، K- Type دستی، Race و Profile چرخشی
Statement of Problem: Root canal cleaning and elimination of the source of infection are the most important basis and the main requirements for successful root treatment since the main cause of failure in root treatment is the permeation of bacteria or their products into the periapical tissues. Nowadays, the newly designed and prcsented instruments for canal instrumentation can improve root tr...
متن کاملComparison of the maintenance of root canal anatomy in severely curved resin blocks using RaCe and Flexmaster rotary systems
Comparison of the maintenance of root canal anatomy in severely curved resin blocks using RaCe and Flexmaster rotary systems Dr. S. Khedmat* - Dr. M. Vahdatifar** *- Associate Professor of Endodontics Dept. - Faculty of Dentistry – Tehran University of Medical Sciences. **- Endodontist. Background and Aim: Various rotary systems are available on the market, therefore selection of a proper instr...
متن کامل